4.77/5.43	unsat
