4.77/5.69	unsat
