13.27/13.34	unsat
