0.77/1.39	unsat
