4.95/5.06	unsat
