12.87/16.77	unsat
