12.86/16.07	unsat
