12.86/16.17	unsat
