12.85/15.91	unsat
