10.43/11.47	unsat
