13.09/13.94	unsat
