10.27/15.03	unsat
