12.78/16.22	unsat
