48.12/59.12	unsat
