189.89/195.60	unsat
