10.27/10.39	unsat
