10.56/13.68	unsat
