12.66/16.21	unsat
