4.98/5.06	unsat
