12.76/16.04	unsat
