20.77/24.40	unsat
